This action exits if and only if it receives input through each of its mandatory triggers. It is useful if a slot should be charged based on receving input from multiple sources (e.g. charging an exit of a process only if several sub-processes have all been completed).

Triggers [all required]

The action may have any number of mandatory triggers (it doesn't make sense to use it with optional triggers).

Exits [required]

<Done> (non-repetitive empty exit [required]): Charged if and only if all mandatory triggers have been charged (input received through each of the mandatory triggers).

Usage Example